tools/toolbox: Use devkit when integrating with GNOME Builder
Also support the new devkit when running from Builder. Unlike for
the run-gnome-shell script, we cannot easily support both --devkit
and --nested (without adding some wrapper), so drop the latter.
It should be fairly uncommon to use Builder to develop against
older branches, so hopefully this shouldn't be a limitation in
practice.
projects / gnome-shell.git / commit